منابع مشابه
Exception Handling
The rst part of this paper provides rigorous deenitions for several basic concepts underlying the design of dependable programs, such as speciication, program semantics, exception, program correctness, robustness, failure, fault, and error. The second part investigates what it means to handle exceptions in modular programs structured as hierarchies of data abstractions. The problems to be solve...
متن کاملAdapting C++ Exception Handling to an Extended COM Exception Model
The reliability of a software system is to a high degree determined by the reliability of the software components comprising the system [KriMat97]. For a software component to be reliable it must be able recover various exceptions or failures that may arise at run-time, i.e. it must be fault tolerant. Code for exception detection, handling, and signalling often amounts to a substantial portion ...
متن کاملAlgorithmic States of Exception
In this paper I argue that pervasive tracking and data-mining are leading to shifts in governmentality that can be characterised as algorithmic states of exception. I also argue that the apparatus that performs this change owes as much to everyday business models as it does to mass surveillance. I look at technical changes at the level of data structures, such as the move to NoSQL databases, an...
متن کاملAn exception-handling framework
The exception-handling framework described in this paper creates an opening to compare different exception-handling approaches in a structured way. This comparison is made, linking taxonomies of different research-groups together. Concurrently the framework specifies a general data-structure to store knowledge about exception-handling, which makes it easier to adapt the proposed taxonomy in the...
متن کاملException Analysis for Java
Current JDK Java compiler relies too much on programmer's speciication for checking against uncaught exceptions of the input program. It is not elaborate enough to remove programmer's unnecessary handlers (when programmer's speciications are too many) nor suggest to programmers for specialized handlings (when programmer's speciica-tions are too general). We propose a static analysis of Java pro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Commonwealth Essays and Studies
سال: 2020
ISSN: 2270-0633,2534-6695
DOI: 10.4000/ces.4133